41. Leveraging applications of formal methods, verification and validation :
پدیدآورنده: Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67
42. Multimedia Applications
پدیدآورنده: by Ralf Steinmetz, Klara Nahrstedt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Multimedia systems.,Software engineering.
43. Network and parallel computing :
پدیدآورنده: Erik Altman, Weisong Shi (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer network architectures, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
N63
2011
44. Networked Digital Technologies :
پدیدآورنده: edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer Communication Networks.,Computer science.,Database management.,Information storage and retrieval systems.,Information systems.,Software engineering.,Artificial Intelligence (incl. Robotics).,Computer Communication Networks.,Computer Science.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Software Engineering.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Computer science.,Database management.,Information storage and retrieval systems.,Software engineering.
رده :
QA76
.
76
.
A65
I58
2010
45. New trends in computer technologies and applications :
پدیدآورنده: Chuan-Yu Chang, Chien-Chou Lin, Horng-Horng Lin (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic data processing, Congresses.,Self-organizing systems, Congresses.,Electronic data processing.,Self-organizing systems.
رده :
QA75
.
5
.
I58
2018
46. New trends in information and communications technology applications :
پدیدآورنده: Safaa O. Al-mamory, Jwan K. Alwan, Ali D. Hussein (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Computer networks, Congresses.,Artificial Intelligence.,Computer Systems Organization and Communication Networks.,Data Mining and Knowledge Discovery.,Image Processing and Computer Vision.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer networks.,Computers-- Computer Graphics.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Image processing.,Software Engineering.
رده :
TK5105
.
5
47. Object-Based Models and Languages for Concurrent Systems :
پدیدآورنده: edited by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
64
E358
1995
48. Operating Systems Engineering:
پدیدآورنده: M Maekawa
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers)
49. Operating Systems In Depth: Design and Programming
پدیدآورنده: / Thomas W. Doeppner
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
50. Optical Network Design and Modeling
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Computer Communication Networks; Data Structures, Cryptology and Information Theory; Software Engineering/Programming and Operating Systems; Computer Hardware
51. Oriented Formal Language and Method-Structured Object
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Software Engineering/Programming and Operating Systems; Computer Systems Organization and Communication Networks; Information Systems and Communication Service; Theory of Computation
52. Planetary spacecraft navigation /
پدیدآورنده: James Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Astronautics.,Navigation (Astronautics),Space vehicles-- Control systems.,Aerospace Technology and Astronautics.,Mathematical Applications in Computer Science.,Software Engineering/Programming and Operating Systems.,Space Sciences (including Extraterrestrial Physics, Space Exploration and Astronautics).,Aerospace & aviation technology.,Astronautics.,Astronautics.,Computers-- Software Development & Engineering-- General.,Mathematics-- Applied.,Navigation (Astronautics),Science-- Astrophysics & Space Science.,Space vehicles-- Control systems.,Technology & Engineering-- Aeronautics & Astronautics.
رده :
TL1065
.
M55
2019
53. Professional Sitecore 8 development :
پدیدآورنده: Phil Wicklund, Jason Wilkerson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Web site development.,Computer Applications,Computer Science,Operating Systems,Software Engineering
رده :
TK5105
.
888
54. Programming for Software Sharing
پدیدآورنده: edited by D. T. Muxworthy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science.,Programming Languages, Compilers, Interpreters.,Software Engineering/Programming and Operating Systems.
رده :
QA76
.
6
E358
1983
55. Provable security :
پدیدآورنده: Joonsang Baek, Willy Susilo, Jongkil Kim (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.
رده :
QA76
.
9
.
A25
56. Real Time Microcomputer Control of Industrial Processes
پدیدآورنده: edited by Spyros G. Tzafestas, J.K. Pal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Microprogramming.,Software engineering.
57. Service-oriented computing :
پدیدآورنده: Eleanna Kafeza, Boualem Benatallah, Fabio Martinelli, Hakim Hacid, Athman Bouguettaya, Hamid Motahari (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software.,Computer networks.,Database management.,Operating systems (Computers),Service-oriented architecture (Computer science), Congresses.,Software engineering.,Application software.,Computer networks.,Database management.,Operating systems (Computers),Software engineering.
رده :
TK5105
.
5828
58. Software Pioneers :
پدیدآورنده: edited by Manfred Broy, Ernst Denert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Software engineering.
رده :
QA76
.
2
.
A2
E358
2002
59. Statistisches Matching mit Fuzzy Logic :
پدیدآورنده: Patrick Noll ; Mit einem Geleitw. von Paul Alpar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Software engineering.,Computer Science, general.,Software Engineering/Programming and Operating Systems.,Theory of Computation.
رده :
GB656
.
2
.
H9
